Term Gallery logo

Значения термина derivação formal на португальском

русский
формальное доказательство
английский
formal proof
испанский
prueba formal

Em lógica, uma derivação formal (ou prova formal) é uma sequência finita de sentenças onde cada sentença pode ser um axioma ou então pode ser obtida como consequência direta de sentenças anteriores na sequência utilizando-se uma regra de inferência.

Ещё
формальное доказательство
Синонимы
Examples for "prova matemática"
Examples for "prova matemática"
1
Por outro lado, a prova matemática é absoluta e destituída de dúvida.
O Último Teorema de Fermat
2
Hooke não tinha uma prova matemática, portanto não podia aceitar essa aposta.
A Guerra do Cálculo
3
Em matemática, o mais alto nível de previsão é a prova matemática.
Economitos: Os dez maiores equívocos da economia
4
E, mais sério do que nunca, ajuntou: -Uma prova matemática.
Contraponto
5
Seu comportamento real só pode ser observado pelos olhos penetrantes da prova matemática abstrata.
A Música dos Números Primos
Translations for derivação formal
испанский
prueba formal